A Polymorphic Language Which Is Typable and Poly-step
نویسنده
چکیده
A functional language ΛLA is given. A sub-set Λ T LA of ΛLA is automatically typable. The types are formulas of Intuitionistic Light Affine Logic with polymorphism à la ML. Every term of ΛLA can reduce to its normal form in, at most, poly-steps. ΛLA can be used as a prototype of programming language for P-TIME algorithms.
منابع مشابه
Dimension Types
Scientists and engineers must ensure that physical equations are dimensionally consistent, but existing programming languages treat all numeric values as dimensionless. This paper extends a strongly-typed programming language with a notion of dimension type. Our approach improves on previous proposals in that dimension types may be polymorphic. Furthermore, any expression which is typable in th...
متن کاملProgramming Examples Needing Polymorphic Recursion
Inferring types for polymorphic recursive function de nitions (abbreviated to polymorphic recursion) is a recurring topic on the mailing lists of popular typed programming languages. This is despite the fact that type inference for polymorphic recursion using 8-types has been proved undecidable. This report presents several programming examples involving polymorphic recursion and determines the...
متن کاملSimple Imperative Polymorphism
This paper describes a simple extension of the Hindley-Milner polymorphic type discipline to call-by-value languages that incorporate imperative features like references, exceptions, and continuations. This extension sacrifices the ability to type every purely functional expression that is typable in the Hindley-Milner system. In return, it assigns the same type to functional and imperative imp...
متن کاملOne-step purification and characterization of alginate lyase from a clinical Pseudomonas aeruginosa with destructive activity on bacterial biofilm
Objective(s): Pseudomonas aeruginosais a Gram-negative and aerobic rod bacterium that displays mucoid and non-mucoid phenotype. Mucoid strains secrete alginate, which is the main agent of biofilms in chronic P. aeruginosa infections, show high resistance to antibiotics; consequently, the biological disruption of mucoid P. aeruginosa biofilms is an attractive area of study for researchers. Algin...
متن کاملSerogrouping and Randomly Amplified Polymorphic DNA Fingerprinting of Campylobacter Jejuni
Results: Twenty one C. jejuni strains belonged to the following Penner’s serogroups: 8 strains were group A, 13 strains were group O. The remaining 5 strains were non-typable. RAPD-PCR analysis of 26 strains of Campylobacter jejuni yielded multiple amplification products in all of them. None of the strains processed by this method was non-typable. According to the number and sizes of amplificat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998